How many Adjunctions give Rise to the same Monad?

نویسنده

  • Andrew Salch
چکیده

Given an adjoint pair of functors F,G, the composite GF naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given monad? In this paper we single out a class of adjunctions with especially good properties, and we develop methods for computing all such adjunctions, up to natural equivalence, which give rise to a given monad. To demonstrate these methods, we explicitly compute the finitary homological presentations of the free A-module monad on the category of sets, for A a Dedekind domain. We also prove a criterion, reminiscent of Beck’s monadicity theorem, for when there is essentially (in a precise sense) only a single adjunction that gives rise to a given monad.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Applications of the Kleisli and Eilenberg-Moore 2-adjunctions

In 2010, J. Climent Vidal and J. Soliveres Tur developed, among other things, a pair of 2-adjunctions between the 2-category of adjunctions and the 2-category of monads. One is related to the Kleisli adjunction and the other to the Eilenberg-Moore adjunction for a given monad.Since any 2-adjunction induces certain natural isomorphisms of categories, these can be used to classify bijection...

متن کامل

Monads on Composition Graphs

Collections of objects and morphisms that fail to form categories inas-much as the expected composites of two morphisms need not always be deened have been introduced in 14, 15] under the name composition graphs. In 14, 16], notions of adjunction and weak adjunction for composition graphs have been proposed. Building on these deenitions, we now introduce a concept of monads for composition grap...

متن کامل

Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functo...

متن کامل

Monad interleaving: a construction of the operad for Leinster’s weak ω-categories

We show how to “interleave” the monad for operads and the monad for contractions on the category Coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions each of which acts on only one dimension of the underlying globular sets at a time. We then exhibit ...

متن کامل

Representing Geometric Morphisms Using Power Locale Monads

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 25  شماره 

صفحات  -

تاریخ انتشار 2017